1.
2.
Foundations of Intuitionistic Mathematics (Study in Logic & Mathematics)
by Kleene, S. C., Vesley, R.
ISBN: 9780720422306
List Price: $24.50
4.
Formalized Recursive Functionals and Formalized Realizability
by Kleene, S. C.
ISBN: 9780821812891
List Price: $19.00